Compositional recurrence analysis revisited

Compositional Invariant Generation via Linear Recurrence Analysis

This paper presents a new method for automatically generating numerical invariants for imperative programs. Given a program, our procedure computes a binary input/output relation on program states which over-approximates the behaviour of the program. It is compositional in the sense that it operates by decomposing the program into parts, computing an abstract meaning of each part, and then comp...

Compositional Translation Revisited

Persegrams of Compositional Models Revisited: conditional independence

The paper gives instructions how to read conditional independence relations for multidimensional probability distributions represented in a form of a compositional model.

Recurrence risk for germinal mosaics revisited.

A formula to calculate recurrence risk for germline mosaicism published by Hartl in 1971 has been updated to include marker information. For practical genetic counselling new, more elaborate tables are given.

Air Quality Index Revisited from a Compositional Point of View

The so-calledAir Quality Index (AQI), expresses the quality of atmospheric air. The overall AQI is determined from the AQIs of some reference air pollutants, which are calculated by a transform of the respective concentrations. Concentrations of air pollutants are compositional data; they are expressed as part of mass of each pollutant in a total air volume or mass. Therefore, air pollution con...